
body {
	font-family: verdana;
	font-size: 0.8em;
}

table.varlist {
	font-family: verdana;
	font-size: 0.9em;
	width: 80%;
	margin-left: auto;
	margin-right: auto;
}

table.varlist caption {
	font-family: verdana;
	font-size: 1.4em;
	font-weight: bold;
}

table.varlist td {
	vertical-align: top;
}

.varname {
	color: #0000aa;
	font-weight: bold;
	width: 20%;
}

.varvalue {
	font-style: italic;
}